Foreword from the PC Chairs

Foreword from the Congress Chairs

We show that Tarski’s inductive definitions admit evidence-based interpretations of the first-order Peano Arithmetic PA that allow us to define the satisfaction and truth of the quantified formulas of PA constructively over the domain N of the natural numbers in two essentially different ways: (1) in terms of algorithmic verifiabilty; and (2) in terms of algorithmic computability. We argue that...

EZ-PC: Program Committee Selection Made Easy

Selecting a technical program committee (PC) for a conference or a workshop can be an intimidating and time consuming process. PC selection needs to balance several potential considerations; e.g., industry vs. academic participation, inclusion of under-represented communities, ensuring coverage over topic areas, among others. This paper presents the design of an open-source tool called EZPC whi...

Welcome message from the HotMesh 2012 chairs

HotMesh 2012 has received 18 submissions, on a similar scale as last year edition. The review process was organized and overviewed by PC chair Stefano Avallone. Each paper was assigned to three Program Committee members for a first round of reviews. The most promising papers were selected for further discussion in an online PC meeting, and were later reviewed and ranked by the Chairs. Finally, ...

Report on the Technical Track of ICSE 2015

The goal of this report is to inform the community about how we, the program chairs, organized and managed the technical track of ICSE 2015. The technical track, the most prestigious of our flagship conference, is continuously evolving in an effort to make better decisions, give better feedback to the authors, and more wisely involve the community resources. This year we adjusted the reviewing ...

DOA 2006 International Conference (Distributed Objects and Applications) PC Co-chairs' Message